\begin{tabbing}
$r$ + $s$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=if isint($r$)\+
\\[0ex]then if isint($s$) then $r$ + $s$ else let $i$,$j$ = $s$ in $<$($r$ $\ast$ $j$) + $i$, $j$$>$ fi 
\\[0ex]else \=let $p$,$q$ = $r$\+
\\[0ex]in
\\[0ex]if isint($s$)
\\[0ex]then $<$$p$ + ($s$ $\ast$ $q$), $q$$>$
\\[0ex]else let $i$,$j$ = $s$ in $<$($p$ $\ast$ $j$) + ($i$ $\ast$ $q$), $q$ $\ast$ $j$$>$
\\[0ex]fi 
\-\\[0ex]fi 
\-
\end{tabbing}